$\forall$$l$:IdLnk, ${\it dt}$:fpf(Id; ${\it tg}$.Type), $a$:Id.
\\[0ex]sqequal(fpf{-}dom(Kind{-}deq; locl($a$); lnk{-}decl($l$; ${\it dt}$)); ff)